class ConvertConformBase
end

class ConvertConform
inherit ConvertConformBase
convert
        a : { ConvertConformBase }
feature
        a : ConvertConformBase
        do
            Result:=VOID
        end
end

class APP
feature
        test(a : ConvertConformBase)
        do
        end
        
        INIT
        local a: ConvertConform
        do
            current.test(a)
        end
end